Skip to content

Issue #331 - Fixing jetty-servlet-api (Jetty javax.servlet API) XML resources#332

Merged
joakime merged 2 commits into
masterfrom
javax.servlet-resources
Jan 14, 2026
Merged

Issue #331 - Fixing jetty-servlet-api (Jetty javax.servlet API) XML resources#332
joakime merged 2 commits into
masterfrom
javax.servlet-resources

Conversation

@joakime

@joakime joakime commented Jan 14, 2026

Copy link
Copy Markdown
Contributor

Updates build for javax.servlet artifact to include javax/servlet/jsp/resources/** in the javax/servlet/resources/ directory to satisfy the XML validation behaviors that have been fixed in later jakarta.servlet releases.

…esources

Signed-off-by: Joakim Erdfelt <joakim.erdfelt@gmail.com>
Signed-off-by: Joakim Erdfelt <joakim.erdfelt@gmail.com>
@joakime joakime self-assigned this Jan 14, 2026
@joakime joakime merged commit 3da2371 into master Jan 14, 2026
2 checks passed
@joakime joakime deleted the javax.servlet-resources branch January 14, 2026 18:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant